space-constructible function

空间可构建函数